SUBDIRS += testsuite/verification/
